$\forall$${\it es}$:event\_system\{i:l\}, $e$,${\it e'}$:es{-}E(${\it es}$).
\\[0ex](loc($e$) = loc(${\it e'}$) $\in$ Id) $\Rightarrow$ (([$e$, ${\it e'}$] = [] $\in$ (es{-}E(${\it es}$) List)) $\Leftarrow\!\Rightarrow$ es{-}locl(${\it es}$; ${\it e'}$; $e$))